Reducing SAT to 2-SAT
نویسنده
چکیده
Description of a polynomial time reduction of SAT to 2-SAT of polynomial size.
منابع مشابه
Evaluation of Serum Agglutination Test in the Diagnosis of Pediatric Brucellosis
Background & Aims: Brucellosis is a public health problem in many developing countries, including Iran. Diagnosis is based on history, clinical manifestations and positive serum agglutination test (SAT) or Wright test. The purpose of this study was to evaluate the diagnostic value of SAT in pediatric Brucellosis. Methods: In this prospective study, during 2 years, 52 patients with clinical feat...
متن کاملAdaptation du virus aphteux de type SAT 1 a la culture Frenkel et préparation d'un vaccin saponiné inactivé
متن کامل
Providing a Simple Method for the Calculation of the Source and Target Reliabili- ty in a Communication Network (SAT)
The source and target reliability in SAT network is de- fined as the flawless transmission from the source node to all the other nodes. In some references, the SAT pro- cess has been followed between all the node pairs but it is very time-consuming in today’s widespread networks and involves many costs. In this article, a method has been proposed to compare the reliability in complex networks b...
متن کاملCharacterisation of recent foot-and-mouth disease viruses from African buffalo (Syncerus caffer) and cattle in Kenya is consistent with independent virus populations
BACKGROUND Understanding the epidemiology of foot-and-mouth disease (FMD), including roles played by different hosts, is essential for improving disease control. The African buffalo (Syncerus caffer) is a reservoir for the SAT serotypes of FMD virus (FMDV). Large buffalo populations commonly intermingle with livestock in Kenya, yet earlier studies have focused on FMD in the domestic livestock, ...
متن کاملThe Optimization of Magnetic Resonance Imaging Pulse Sequences in Order to Better Detection of Multiple Sclerosis Plaques
Background and objective: Magnetic resonance imaging (MRI) is the most sensitive technique to detect multiple sclerosis (MS) plaques in central nervous system. In some cases, the patients who were suspected to MS, Whereas MRI images are normal, but whether patients don’t have MS plaques or MRI images are not enough optimized enough in order to show MS plaques? The aim of the current study is ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0704.0108 شماره
صفحات -
تاریخ انتشار 2007